Weak Bisimulation for Probabilistic Timed Automata

机译：概率定时自动机的弱双仿真

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Weak bisimulation for Probabilistic Timed Automata [J] . Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina Theoretical computer science . 2010,第50期

机译：概率定时自动机的弱双仿真
2. Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time [J] . Holger Hermanns, Andrea Turrini LIPIcs : Leibniz International Proceedings in Informatics . 2012,第1期

机译：确定多项式时间内的概率自动机弱双仿真
3. Deciding probabilistic automata weak bisimulation: theory and practice [J] . Fioriti Luis Maria Ferrer, Hashemi Vahid, Hermanns Holger, Formal Aspects of Computing . 2016,第1期

机译：确定概率自动机弱双仿真的理论和实践
4. Weak bisimulation for probabilistic timed automata and applications to security [C] . Lanotte R., Maggiolo-Schettini A., Troina A. Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on . 2003

机译：概率定时自动机的弱双仿真及其对安全性的应用
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. A Formal Model for Semantic Computing Based on Generalized Probabilistic Automata [O] . Guangjian Huang, Shahbaz Hassan Wasti, Lina Wei, 2019

机译：基于广义概率自动机的语义计算形式模型
7. Weak bisimulation for Probabilistic Timed Automata [O] . Lanotte Ruggero, Maggiolo-Schettini Andrea, Troina Angelo 2010

机译：概率定时自动机的弱双仿真
8. Weak Bisimulation for Fully Probabilistic Processes [R] . Baier, C., Hermanns, H. 1999

机译：完全概率过程的弱互模拟

Weak Bisimulation for Probabilistic Timed Automata

著录项

引文网络

相似文献

相关主题

期刊订阅